Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
301	Introduction to Formal Epistemology May[removed], ESSLLI 2007 Eric Pacuit Rohit Parikh Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2010-04-22 20:59:38 Modal logic Model theory Branches of philosophy Philosophical logic Game theory Epistemic modal logic Kripke semantics Interpretation Social software Logic Mathematical logic Mathematics
302	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:34:42 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
303	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
304	Neighborhood Semantics for Modal Logic An Introduction May[removed], ESSLLI 2007 Eric Pacuit staff.science.uva.nl/∼epacuit [removed] Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2010-04-22 21:02:13 Philosophical logic Metalogic Modal logic Formal languages Interpretation Kripke semantics Function Logical connective Entailment Logic Mathematical logic Model theory
305	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:18 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
306	Microsoft Word - VIStology Cogsima 13 Feb 2012.docx Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-11-03 11:42:36 Science Information science Knowledge representation Knowledge engineering Semantics of Business Vocabulary and Business Rules Web Ontology Language Rule Interchange Format Formal ontology Business rule Semantic Web Ontology Information
307	Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-10 19:37:33 Predicate logic Model theory Logical syntax Formal languages First-order logic Interpretation Stable model semantics Function Well-formed formula Logic Mathematical logic Mathematics
308	Absolute Identity and Absolute Generality Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Predicate logic Model theory Semantics Philosophical logic Formal languages First-order logic Interpretation Function Identity Logic Mathematical logic Mathematics
309	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics
310	Reference, Inference and the Semantics of Pejoratives Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Philosophical logic Propositional calculus Grammar Meaning Philosophy of language Michael Dummett Entailment Rule of inference Formal proof Logic Linguistics Semantics

UPDATE